$y$ = succ($x$) in $l$$\Rightarrow$ $P$($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:$\mathbb{N}$. $i$+1$<\parallel$$l$$\parallel$ $\Rightarrow$ $l$[$i$] $=$ $x$ $\Rightarrow$ $P$($l$[$i$+1])